http://www.atilf.fr/dmf/definition/coq2&idf